widget: Add private get_margin_allocation
authorTimm Bäder <mail@baedert.org>
Fri, 5 May 2017 16:24:52 +0000 (18:24 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 20 Jul 2017 01:27:12 +0000 (21:27 -0400)
commita71edd2925540b0c0fdeba31258fd9019dca4542
tree54802b5190b4025d4ec9557415c22033979d742a
parent2ba07901db02dc92b22bfa166cd1dc7b0238b080
widget: Add private get_margin_allocation
gtk/gtkwidget.c
gtk/gtkwidgetprivate.h